\relax 
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{}{Statement}}{1}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{}{Corollary}}{1}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{}{Corollary}}{1}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{}{Outline of the proof}}{1}}
\@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{}{Detailed proof}}{1}}
\@writefile{toc}{\contentsline {subsubsection}{\tocsubsubsection {}{}{$(1)\Rightarrow (2)$}}{1}}
\@writefile{toc}{\contentsline {subsubsection}{\tocsubsubsection {}{}{$(2)\Rightarrow (3)$}}{1}}
\newlabel{tocindent-1}{0pt}
\newlabel{tocindent0}{14.05563pt}
\newlabel{tocindent1}{0pt}
\newlabel{tocindent2}{0pt}
\newlabel{tocindent3}{0pt}
\@writefile{toc}{\contentsline {subsubsection}{\tocsubsubsection {}{}{$(3)\Rightarrow (1)$}}{2}}
